<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<!-- NewPage -->
<html lang="en">
<head>

<title>ExecutableSequence (randoop 4.1.0 API)</title>

<link rel="stylesheet" type="text/css" href="../../javadocstyle.css" title="Style">
<script type="text/javascript" src="../../script.js"></script>
</head>
<body>
<script type="text/javascript"><!--
    try {
        if (location.href.indexOf('is-external=true') == -1) {
            parent.document.title="ExecutableSequence (randoop 4.1.0 API)";
        }
    }
    catch(err) {
    }
//-->
var methods = {"i0":10,"i1":10,"i2":10,"i3":10,"i4":10,"i5":10,"i6":9,"i7":10,"i8":10,"i9":10,"i10":10,"i11":10,"i12":10,"i13":10,"i14":10,"i15":10,"i16":10,"i17":9,"i18":9,"i19":10,"i20":10,"i21":10,"i22":10,"i23":10,"i24":10,"i25":10,"i26":10,"i27":10,"i28":10,"i29":10,"i30":10,"i31":10,"i32":10,"i33":10,"i34":10,"i35":10};
var tabs = {65535:["t0","All Methods"],1:["t1","Static Methods"],2:["t2","Instance Methods"],8:["t4","Concrete Methods"]};
var altColor = "altColor";
var rowColor = "rowColor";
var tableTab = "tableTab";
var activeTableTab = "activeTableTab";
</script>
<noscript>
<div>JavaScript is disabled on your browser.</div>
</noscript>
<!-- ========= START OF TOP NAVBAR ======= -->
<div class="topNav"><a name="navbar.top">
<!--   -->
</a>
<div class="skipNav"><a href="#skip.navbar.top" title="Skip navigation links">Skip navigation links</a></div>
<a name="navbar.top.firstrow">
<!--   -->
</a>
<ul class="navList" title="Navigation">
<li><a href="../../overview-summary.html">Overview</a></li>
<li><a href="package-summary.html">Package</a></li>
<li class="navBarCell1Rev">Class</li>
<li><a href="package-tree.html">Tree</a></li>
<li><a href="../../deprecated-list.html">Deprecated</a></li>
<li><a href="../../index-all.html">Index</a></li>
<li><a href="../../help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList">
<li><a href="../../randoop/sequence/ClassLiterals.html" title="class in randoop.sequence"><span class="typeNameLink">Prev&nbsp;Class</span></a></li>
<li><a href="../../randoop/sequence/Execution.html" title="class in randoop.sequence"><span class="typeNameLink">Next&nbsp;Class</span></a></li>
</ul>
<ul class="navList">
<li><a href="../../index.html?randoop/sequence/ExecutableSequence.html" target="_top">Frames</a></li>
<li><a href="ExecutableSequence.html" target="_top">No&nbsp;Frames</a></li>
</ul>
<ul class="navList" id="allclasses_navbar_top">
<li><a href="../../allclasses-noframe.html">All&nbsp;Classes</a></li>
</ul>
<div>
<script type="text/javascript"><!--
  allClassesLink = document.getElementById("allclasses_navbar_top");
  if(window==top) {
    allClassesLink.style.display = "block";
  }
  else {
    allClassesLink.style.display = "none";
  }
  //-->
</script>
</div>
<div>
<ul class="subNavList">
<li>Summary:&nbsp;</li>
<li>Nested&nbsp;|&nbsp;</li>
<li><a href="#field.summary">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor.summary">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.summary">Method</a></li>
</ul>
<ul class="subNavList">
<li>Detail:&nbsp;</li>
<li><a href="#field.detail">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor.detail">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.detail">Method</a></li>
</ul>
</div>
<a name="skip.navbar.top">
<!--   -->
</a></div>
<!-- ========= END OF TOP NAVBAR ========= -->
<!-- ======== START OF CLASS DATA ======== -->
<div class="header">
<div class="subTitle">randoop.sequence</div>
<h2 title="Class ExecutableSequence" class="title">Class ExecutableSequence</h2>
</div>
<div class="contentContainer">
<ul class="inheritance">
<li><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">java.lang.Object</a></li>
<li>
<ul class="inheritance">
<li>randoop.sequence.ExecutableSequence</li>
</ul>
</li>
</ul>
<div class="description">
<ul class="blockList">
<li class="blockList">
<hr>
<br>
<pre>public class <span class="typeNameLabel">ExecutableSequence</span>
extends <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a></pre>
<div class="block">An ExecutableSequence wraps a <a href="../../randoop/sequence/Sequence.html" title="class in randoop.sequence"><code>Sequence</code></a> with functionality for executing the sequence, via
 methods <a href="../../randoop/sequence/ExecutableSequence.html#execute-randoop.ExecutionVisitor-randoop.test.TestCheckGenerator-"><code>execute(ExecutionVisitor, TestCheckGenerator)</code></a> and <a href="../../randoop/sequence/ExecutableSequence.html#execute-randoop.ExecutionVisitor-randoop.test.TestCheckGenerator-boolean-"><code>execute(ExecutionVisitor, TestCheckGenerator, boolean)</code></a>. It also lets the client add <a href="../../randoop/test/Check.html" title="interface in randoop.test"><code>Check</code></a>s that check expected behaviors of the execution.

 <p>An ExecutableSequence augments a sequence with three additional pieces of data:

 <ul>
   <li><b>Execution results.</b> An ExecutableSequence can be executed, and the results of the
       execution (meaning the objects created during execution, and any exceptions thrown) are
       made available to clients or execution visitors to inspect.
   <li><b>Checks.</b> A check is an object representing an expected runtime behavior of the
       sequence. Clients can add checks to specific indices of the sequence. For example, a client
       might add a <code>NotNull</code> check to the ith index of a sequence to signify that the value
       returned by the statement at index i should not be null.
   <li><b>Check evaluation results.</b> Corresponding to every check is a boolean value that
       represents whether the check passed or failed during the last execution of the sequence.
 </ul>

 <p>An ExecutableSequence only directly manages the execution results. Other data, including
 checks and check evaluation results, are added or removed by the client of the
 ExecutableSequence. One way of doing this is by implementing an <a href="../../randoop/ExecutionVisitor.html" title="interface in randoop"><code>ExecutionVisitor</code></a> and
 passing it as an argument to the <code>execute</code> method.</div>
</li>
</ul>
</div>
<div class="summary">
<ul class="blockList">
<li class="blockList">
<!-- =========== FIELD SUMMARY =========== -->
<ul class="blockList">
<li class="blockList"><a name="field.summary">
<!--   -->
</a>
<h3>Field Summary</h3>
<table class="memberSummary" border="0" cellpadding="3" cellspacing="0" summary="Field Summary table, listing fields, and an explanation">
<caption><span>Fields</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colFirst" scope="col">Modifier and Type</th>
<th class="colLast" scope="col">Field and Description</th>
</tr>
<tr class="altColor">
<td class="colFirst"><code>private <a href="../../randoop/test/TestChecks.html" title="interface in randoop.test">TestChecks</a>&lt;?&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#checks">checks</a></span></code>
<div class="block">The checks for the last statement in this sequence.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>long</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#exectime">exectime</a></span></code>
<div class="block">How long it took to execute this sequence in nanoseconds.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>private <a href="../../randoop/sequence/Execution.html" title="class in randoop.sequence">Execution</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#executionResults">executionResults</a></span></code>
<div class="block">Contains the runtime objects created and exceptions thrown (if any) during execution of this
 sequence.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>long</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#gentime">gentime</a></span></code>
<div class="block">How long it took to generate this sequence in nanoseconds, excluding execution time.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>private boolean</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#hasNullInput">hasNullInput</a></span></code>
<div class="block">Flag to record whether execution of sequence has a null input.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>private static <a href="https://docs.oracle.com/javase/8/docs/api/java/io/ByteArrayOutputStream.html?is-external=true" title="class or interface in java.io">ByteArrayOutputStream</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#output_buffer">output_buffer</a></span></code>
<div class="block">Captures output from the executed sequence</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>private static <a href="https://docs.oracle.com/javase/8/docs/api/java/io/PrintStream.html?is-external=true" title="class or interface in java.io">PrintStream</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#output_buffer_stream">output_buffer_stream</a></span></code>
<div class="block">Used to populate <a href="../../randoop/sequence/ExecutableSequence.html#output_buffer"><code>output_buffer</code></a>.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code><a href="../../randoop/sequence/Sequence.html" title="class in randoop.sequence">Sequence</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#sequence">sequence</a></span></code>
<div class="block">The underlying sequence.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>private <a href="../../randoop/util/IdentityMultiMap.html" title="class in randoop.util">IdentityMultiMap</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a>,<a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a>&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#variableMap">variableMap</a></span></code>&nbsp;</td>
</tr>
</table>
</li>
</ul>
<!-- ======== CONSTRUCTOR SUMMARY ======== -->
<ul class="blockList">
<li class="blockList"><a name="constructor.summary">
<!--   -->
</a>
<h3>Constructor Summary</h3>
<table class="memberSummary" border="0" cellpadding="3" cellspacing="0" summary="Constructor Summary table, listing constructors, and an explanation">
<caption><span>Constructors</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colOne" scope="col">Constructor and Description</th>
</tr>
<tr class="altColor">
<td class="colOne"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#ExecutableSequence-randoop.sequence.Sequence-">ExecutableSequence</a></span>(<a href="../../randoop/sequence/Sequence.html" title="class in randoop.sequence">Sequence</a>&nbsp;sequence)</code>
<div class="block">Create an executable sequence that executes the given sequence.</div>
</td>
</tr>
</table>
</li>
</ul>
<!-- ========== METHOD SUMMARY =========== -->
<ul class="blockList">
<li class="blockList"><a name="method.summary">
<!--   -->
</a>
<h3>Method Summary</h3>
<table class="memberSummary" border="0" cellpadding="3" cellspacing="0" summary="Method Summary table, listing methods, and an explanation">
<caption><span id="t0" class="activeTableTab"><span>All Methods</span><span class="tabEnd">&nbsp;</span></span><span id="t1" class="tableTab"><span><a href="javascript:show(1);">Static Methods</a></span><span class="tabEnd">&nbsp;</span></span><span id="t2" class="tableTab"><span><a href="javascript:show(2);">Instance Methods</a></span><span class="tabEnd">&nbsp;</span></span><span id="t4" class="tableTab"><span><a href="javascript:show(8);">Concrete Methods</a></span><span class="tabEnd">&nbsp;</span></span></caption>
<tr>
<th class="colFirst" scope="col">Modifier and Type</th>
<th class="colLast" scope="col">Method and Description</th>
</tr>
<tr id="i0" class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#addCoveredClass-java.lang.Class-">addCoveredClass</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Class.html?is-external=true" title="class or interface in java.lang">Class</a>&lt;?&gt;&nbsp;c)</code>
<div class="block">Adds a covered class to the most recent execution results of this sequence.</div>
</td>
</tr>
<tr id="i1" class="rowColor">
<td class="colFirst"><code>private void</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#addReferenceValue-randoop.sequence.Variable-java.lang.Object-java.util.Set-">addReferenceValue</a></span>(<a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a>&nbsp;variable,
                 <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a>&nbsp;value,
                 <a href="https://docs.oracle.com/javase/8/docs/api/java/util/Set.html?is-external=true" title="class or interface in java.util">Set</a>&lt;<a href="../../randoop/sequence/ReferenceValue.html" title="class in randoop.sequence">ReferenceValue</a>&gt;&nbsp;refValues)</code>
<div class="block">If the variable has a non-String reference type, add its value to the set and also add a
 mapping to <a href="../../randoop/sequence/ExecutableSequence.html#variableMap"><code>variableMap</code></a>.</div>
</td>
</tr>
<tr id="i2" class="altColor">
<td class="colFirst"><code>boolean</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#coversClass-java.lang.Class-">coversClass</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Class.html?is-external=true" title="class or interface in java.lang">Class</a>&lt;?&gt;&nbsp;c)</code>
<div class="block">Indicates whether the given class is covered by the most recent execution of this sequence.</div>
</td>
</tr>
<tr id="i3" class="rowColor">
<td class="colFirst"><code>boolean</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#equals-java.lang.Object-">equals</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a>&nbsp;obj)</code>&nbsp;</td>
</tr>
<tr id="i4" class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#execute-randoop.ExecutionVisitor-randoop.test.TestCheckGenerator-">execute</a></span>(<a href="../../randoop/ExecutionVisitor.html" title="interface in randoop">ExecutionVisitor</a>&nbsp;visitor,
       <a href="../../randoop/test/TestCheckGenerator.html" title="class in randoop.test">TestCheckGenerator</a>&nbsp;gen)</code>
<div class="block">Executes sequence, stopping on exceptions.</div>
</td>
</tr>
<tr id="i5" class="rowColor">
<td class="colFirst"><code>private void</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#execute-randoop.ExecutionVisitor-randoop.test.TestCheckGenerator-boolean-">execute</a></span>(<a href="../../randoop/ExecutionVisitor.html" title="interface in randoop">ExecutionVisitor</a>&nbsp;visitor,
       <a href="../../randoop/test/TestCheckGenerator.html" title="class in randoop.test">TestCheckGenerator</a>&nbsp;gen,
       boolean&nbsp;ignoreException)</code>
<div class="block">Execute this sequence, invoking the given visitor as the execution unfolds.</div>
</td>
</tr>
<tr id="i6" class="altColor">
<td class="colFirst"><code>private static void</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#executeStatement-randoop.sequence.Sequence-java.util.List-int-java.lang.Object:A-">executeStatement</a></span>(<a href="../../randoop/sequence/Sequence.html" title="class in randoop.sequence">Sequence</a>&nbsp;s,
                <a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/ExecutionOutcome.html" title="class in randoop">ExecutionOutcome</a>&gt;&nbsp;outcome,
                int&nbsp;index,
                <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a>[]&nbsp;inputVariables)</code>&nbsp;</td>
</tr>
<tr id="i7" class="rowColor">
<td class="colFirst"><code><a href="../../randoop/test/TestChecks.html" title="interface in randoop.test">TestChecks</a>&lt;?&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#getChecks--">getChecks</a></span>()</code>
<div class="block">Return the set of test checks for the most recent execution.</div>
</td>
</tr>
<tr id="i8" class="altColor">
<td class="colFirst"><code>private int</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#getExceptionIndex-java.lang.Class-">getExceptionIndex</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Class.html?is-external=true" title="class or interface in java.lang">Class</a>&lt;?&gt;&nbsp;exceptionClass)</code>&nbsp;</td>
</tr>
<tr id="i9" class="rowColor">
<td class="colFirst"><code><a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/sequence/ReferenceValue.html" title="class in randoop.sequence">ReferenceValue</a>&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#getInputValues--">getInputValues</a></span>()</code>
<div class="block">Returns the list of input reference type values used to compute the input values of the last
 statement.</div>
</td>
</tr>
<tr id="i10" class="altColor">
<td class="colFirst"><code><a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/sequence/ReferenceValue.html" title="class in randoop.sequence">ReferenceValue</a>&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#getLastStatementValues--">getLastStatementValues</a></span>()</code>
<div class="block">Returns the list of (reference type) values created and used by the last statement of this
 sequence.</div>
</td>
</tr>
<tr id="i11" class="rowColor">
<td class="colFirst"><code>int</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#getNonExecutedIndex--">getNonExecutedIndex</a></span>()</code>
<div class="block">Returns the index i for a non-executed statement, or -1 if there is no such index.</div>
</td>
</tr>
<tr id="i12" class="altColor">
<td class="colFirst"><code>int</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#getNonNormalExecutionIndex--">getNonNormalExecutionIndex</a></span>()</code>&nbsp;</td>
</tr>
<tr id="i13" class="rowColor">
<td class="colFirst"><code><a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation">TypedOperation</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#getOperation--">getOperation</a></span>()</code>
<div class="block">Return the operation from which this sequence was generated -- the operation of the last
 statement of this sequence.</div>
</td>
</tr>
<tr id="i14" class="altColor">
<td class="colFirst"><code><a href="../../randoop/ExecutionOutcome.html" title="class in randoop">ExecutionOutcome</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#getResult-int-">getResult</a></span>(int&nbsp;index)</code>
<div class="block">This method is typically used by ExecutionVisitors.</div>
</td>
</tr>
<tr id="i15" class="rowColor">
<td class="colFirst"><code>private <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a>[]</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#getRuntimeInputs-java.util.List-java.util.List-">getRuntimeInputs</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/ExecutionOutcome.html" title="class in randoop">ExecutionOutcome</a>&gt;&nbsp;outcome,
                <a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a>&gt;&nbsp;inputs)</code>&nbsp;</td>
</tr>
<tr id="i16" class="altColor">
<td class="colFirst"><code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a>[]</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#getRuntimeInputs-java.util.List-">getRuntimeInputs</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a>&gt;&nbsp;inputs)</code>&nbsp;</td>
</tr>
<tr id="i17" class="rowColor">
<td class="colFirst"><code>static <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a>[]</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#getRuntimeValuesForVars-java.util.List-randoop.sequence.Execution-">getRuntimeValuesForVars</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a>&gt;&nbsp;vars,
                       <a href="../../randoop/sequence/Execution.html" title="class in randoop.sequence">Execution</a>&nbsp;execution)</code>
<div class="block">Returns the values for the given variables in the <a href="../../randoop/sequence/Execution.html" title="class in randoop.sequence"><code>Execution</code></a> object.</div>
</td>
</tr>
<tr id="i18" class="altColor">
<td class="colFirst"><code>private static <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a>[]</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#getRuntimeValuesForVars-java.util.List-java.util.List-">getRuntimeValuesForVars</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a>&gt;&nbsp;vars,
                       <a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/ExecutionOutcome.html" title="class in randoop">ExecutionOutcome</a>&gt;&nbsp;execution)</code>&nbsp;</td>
</tr>
<tr id="i19" class="rowColor">
<td class="colFirst"><code>private <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#getValue-int-">getValue</a></span>(int&nbsp;index)</code>
<div class="block">The result of executing the index-th element of the sequence.</div>
</td>
</tr>
<tr id="i20" class="altColor">
<td class="colFirst"><code><a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#getVariable-java.lang.Object-">getVariable</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a>&nbsp;value)</code>
<div class="block">Returns some variable that has the given value in the outcome of executing this sequence.</div>
</td>
</tr>
<tr id="i21" class="rowColor">
<td class="colFirst"><code><a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a>&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#getVariables-java.lang.Object-">getVariables</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a>&nbsp;value)</code>
<div class="block">Returns the set of variables that have the given value in the outcome of executing this
 sequence.</div>
</td>
</tr>
<tr id="i22" class="altColor">
<td class="colFirst"><code>boolean</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#hasFailure--">hasFailure</a></span>()</code>
<div class="block">Indicate whether checks are failing or passing.</div>
</td>
</tr>
<tr id="i23" class="rowColor">
<td class="colFirst"><code>int</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#hashCode--">hashCode</a></span>()</code>&nbsp;</td>
</tr>
<tr id="i24" class="altColor">
<td class="colFirst"><code>boolean</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#hasInvalidBehavior--">hasInvalidBehavior</a></span>()</code>
<div class="block">Indicate whether there are any invalid checks.</div>
</td>
</tr>
<tr id="i25" class="rowColor">
<td class="colFirst"><code>boolean</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#hasNonExecutedStatements--">hasNonExecutedStatements</a></span>()</code>
<div class="block">Returns whether the sequence contains a non-executed statement.</div>
</td>
</tr>
<tr id="i26" class="altColor">
<td class="colFirst"><code>boolean</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#hasNullInput--">hasNullInput</a></span>()</code>
<div class="block">Indicates whether the executed sequence has any null input values.</div>
</td>
</tr>
<tr id="i27" class="rowColor">
<td class="colFirst"><code>boolean</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#isNormalExecution--">isNormalExecution</a></span>()</code>&nbsp;</td>
</tr>
<tr id="i28" class="altColor">
<td class="colFirst"><code>private boolean</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#isNormalExecution-int-">isNormalExecution</a></span>(int&nbsp;i)</code>
<div class="block">This method is typically used by ExecutionVisitors.</div>
</td>
</tr>
<tr id="i29" class="rowColor">
<td class="colFirst"><code>private void</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#reset--">reset</a></span>()</code>
<div class="block">Reset this object to its initial state.</div>
</td>
</tr>
<tr id="i30" class="altColor">
<td class="colFirst"><code>int</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#size--">size</a></span>()</code>
<div class="block">Return the number of statements in this sequence.</div>
</td>
</tr>
<tr id="i31" class="rowColor">
<td class="colFirst"><code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#statementToCodeString-int-">statementToCodeString</a></span>(int&nbsp;i)</code>
<div class="block">Return the code representation of the i'th statement.</div>
</td>
</tr>
<tr id="i32" class="altColor">
<td class="colFirst"><code>boolean</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#throwsException-java.lang.Class-">throwsException</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Class.html?is-external=true" title="class or interface in java.lang">Class</a>&lt;?&gt;&nbsp;exceptionClass)</code>&nbsp;</td>
</tr>
<tr id="i33" class="rowColor">
<td class="colFirst"><code>private <a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#toCodeLines--">toCodeLines</a></span>()</code>
<div class="block">Return this sequence as code.</div>
</td>
</tr>
<tr id="i34" class="altColor">
<td class="colFirst"><code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#toCodeString--">toCodeString</a></span>()</code>
<div class="block">Return this sequence as code.</div>
</td>
</tr>
<tr id="i35" class="rowColor">
<td class="colFirst"><code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/sequence/ExecutableSequence.html#toString--">toString</a></span>()</code>&nbsp;</td>
</tr>
</table>
<ul class="blockList">
<li class="blockList"><a name="methods.inherited.from.class.java.lang.Object">
<!--   -->
</a>
<h3>Methods inherited from class&nbsp;java.lang.<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a></h3>
<code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#clone--" title="class or interface in java.lang">clone</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#finalize--" title="class or interface in java.lang">finalize</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#getClass--" title="class or interface in java.lang">getClass</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#notify--" title="class or interface in java.lang">notify</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#notifyAll--" title="class or interface in java.lang">notifyAll</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#wait--" title="class or interface in java.lang">wait</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#wait-long-" title="class or interface in java.lang">wait</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#wait-long-int-" title="class or interface in java.lang">wait</a></code></li>
</ul>
</li>
</ul>
</li>
</ul>
</div>
<div class="details">
<ul class="blockList">
<li class="blockList">
<!-- ============ FIELD DETAIL =========== -->
<ul class="blockList">
<li class="blockList"><a name="field.detail">
<!--   -->
</a>
<h3>Field Detail</h3>
<a name="sequence">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>sequence</h4>
<pre>public&nbsp;<a href="../../randoop/sequence/Sequence.html" title="class in randoop.sequence">Sequence</a> sequence</pre>
<div class="block">The underlying sequence.</div>
</li>
</ul>
<a name="checks">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>checks</h4>
<pre>private&nbsp;<a href="../../randoop/test/TestChecks.html" title="interface in randoop.test">TestChecks</a>&lt;?&gt; checks</pre>
<div class="block">The checks for the last statement in this sequence.</div>
</li>
</ul>
<a name="executionResults">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>executionResults</h4>
<pre>private transient&nbsp;<a href="../../randoop/sequence/Execution.html" title="class in randoop.sequence">Execution</a> executionResults</pre>
<div class="block">Contains the runtime objects created and exceptions thrown (if any) during execution of this
 sequence. Invariant: sequence.size() == executionResults.size(). Transient because it can
 contain arbitrary objects that may not be serializable.</div>
</li>
</ul>
<a name="gentime">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>gentime</h4>
<pre>public&nbsp;long gentime</pre>
<div class="block">How long it took to generate this sequence in nanoseconds, excluding execution time. Must be
 directly set by the generator that creates this object (No code in this class sets its value.)</div>
</li>
</ul>
<a name="exectime">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>exectime</h4>
<pre>public&nbsp;long exectime</pre>
<div class="block">How long it took to execute this sequence in nanoseconds. Is -1 until the sequence completes
 execution.</div>
</li>
</ul>
<a name="hasNullInput">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>hasNullInput</h4>
<pre>private&nbsp;boolean hasNullInput</pre>
<div class="block">Flag to record whether execution of sequence has a null input.

 <p>TODO: This is wonky, it really belongs to execution.</div>
</li>
</ul>
<a name="output_buffer">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>output_buffer</h4>
<pre>private static&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/io/ByteArrayOutputStream.html?is-external=true" title="class or interface in java.io">ByteArrayOutputStream</a> output_buffer</pre>
<div class="block">Captures output from the executed sequence</div>
</li>
</ul>
<a name="output_buffer_stream">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>output_buffer_stream</h4>
<pre>private static&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/io/PrintStream.html?is-external=true" title="class or interface in java.io">PrintStream</a> output_buffer_stream</pre>
<div class="block">Used to populate <a href="../../randoop/sequence/ExecutableSequence.html#output_buffer"><code>output_buffer</code></a>.</div>
</li>
</ul>
<a name="variableMap">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>variableMap</h4>
<pre>private&nbsp;<a href="../../randoop/util/IdentityMultiMap.html" title="class in randoop.util">IdentityMultiMap</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a>,<a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a>&gt; variableMap</pre>
</li>
</ul>
</li>
</ul>
<!-- ========= CONSTRUCTOR DETAIL ======== -->
<ul class="blockList">
<li class="blockList"><a name="constructor.detail">
<!--   -->
</a>
<h3>Constructor Detail</h3>
<a name="ExecutableSequence-randoop.sequence.Sequence-">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>ExecutableSequence</h4>
<pre>public&nbsp;ExecutableSequence(<a href="../../randoop/sequence/Sequence.html" title="class in randoop.sequence">Sequence</a>&nbsp;sequence)</pre>
<div class="block">Create an executable sequence that executes the given sequence.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>sequence</code> - the underlying sequence for this executable sequence</dd>
</dl>
</li>
</ul>
</li>
</ul>
<!-- ============ METHOD DETAIL ========== -->
<ul class="blockList">
<li class="blockList"><a name="method.detail">
<!--   -->
</a>
<h3>Method Detail</h3>
<a name="reset--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>reset</h4>
<pre>private&nbsp;void&nbsp;reset()</pre>
<div class="block">Reset this object to its initial state.</div>
</li>
</ul>
<a name="toString--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>toString</h4>
<pre>public&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>&nbsp;toString()</pre>
<dl>
<dt><span class="overrideSpecifyLabel">Overrides:</span></dt>
<dd><code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#toString--" title="class or interface in java.lang">toString</a></code>&nbsp;in class&nbsp;<code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a></code></dd>
</dl>
</li>
</ul>
<a name="toCodeLines--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>toCodeLines</h4>
<pre>private&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>&gt;&nbsp;toCodeLines()</pre>
<div class="block">Return this sequence as code. Similar to <a href="../../randoop/sequence/Sequence.html#toCodeString--"><code>Sequence.toCodeString()</code></a> except includes the
 checks.

 <p>If for a given statement there is a check of type <a href="../../randoop/test/ExceptionCheck.html" title="class in randoop.test"><code>ExceptionCheck</code></a>, that
 check's pre-statement code is printed immediately before the statement, and its post-statement
 code is printed immediately after the statement.</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the sequence as a string</dd>
</dl>
</li>
</ul>
<a name="toCodeString--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>toCodeString</h4>
<pre>public&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>&nbsp;toCodeString()</pre>
<div class="block">Return this sequence as code. Similar to <a href="../../randoop/sequence/Sequence.html#toCodeString--"><code>Sequence.toCodeString()</code></a> except includes the
 checks.

 <p>If for a given statement there is a check of type <a href="../../randoop/test/ExceptionCheck.html" title="class in randoop.test"><code>ExceptionCheck</code></a>, that
 check's pre-statement code is printed immediately before the statement, and its post-statement
 code is printed immediately after the statement.</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the sequence as a string</dd>
</dl>
</li>
</ul>
<a name="statementToCodeString-int-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>statementToCodeString</h4>
<pre>public&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>&nbsp;statementToCodeString(int&nbsp;i)</pre>
<div class="block">Return the code representation of the i'th statement.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>i</code> - the statement index</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the string representation of the statement</dd>
</dl>
</li>
</ul>
<a name="execute-randoop.ExecutionVisitor-randoop.test.TestCheckGenerator-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>execute</h4>
<pre>public&nbsp;void&nbsp;execute(<a href="../../randoop/ExecutionVisitor.html" title="interface in randoop">ExecutionVisitor</a>&nbsp;visitor,
                    <a href="../../randoop/test/TestCheckGenerator.html" title="class in randoop.test">TestCheckGenerator</a>&nbsp;gen)</pre>
<div class="block">Executes sequence, stopping on exceptions.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>visitor</code> - the <a href="../../randoop/ExecutionVisitor.html" title="interface in randoop"><code>ExecutionVisitor</code></a> that collects checks from results</dd>
<dd><code>gen</code> - the check generator for tests</dd>
<dt><span class="seeLabel">See Also:</span></dt>
<dd><a href="../../randoop/sequence/ExecutableSequence.html#execute-randoop.ExecutionVisitor-randoop.test.TestCheckGenerator-boolean-"><code>execute(ExecutionVisitor, TestCheckGenerator, boolean)</code></a></dd>
</dl>
</li>
</ul>
<a name="execute-randoop.ExecutionVisitor-randoop.test.TestCheckGenerator-boolean-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>execute</h4>
<pre>private&nbsp;void&nbsp;execute(<a href="../../randoop/ExecutionVisitor.html" title="interface in randoop">ExecutionVisitor</a>&nbsp;visitor,
                     <a href="../../randoop/test/TestCheckGenerator.html" title="class in randoop.test">TestCheckGenerator</a>&nbsp;gen,
                     boolean&nbsp;ignoreException)</pre>
<div class="block">Execute this sequence, invoking the given visitor as the execution unfolds. For example, the
 visitor may decorate the sequence with <a href="../../randoop/test/Check.html" title="interface in randoop.test"><code>Check</code></a>s about the execution.

 <p>This method operates as follows:

 <ul>
   <li>Clear execution results and call <code>visitor.initialize(this)</code>.
   <li>For each statement in the sequence:
       <ul>
         <li>call <code>visitor.visitBefore(this, i)</code>
         <li>execute the i-th statement, using reflection
         <li>call <code>visitor.visitAfter(this, i)</code>
       </ul>

   <li>For the last statement, check its specifications (pre-, post-, and throws-conditions).
 </ul>

 Execution stops if one of the following conditions holds:

 <ul>
   <li>All statements in the sequences have been executed.
   <li>A pre-condition for the final statement fails
   <li>A statement's execution results in an exception and <code>ignoreException==false</code>.
   <li>A <code>null</code> input value is implicitly passed to the statement (i.e., not via explicit
       declaration like x = null)
   <li>After executing the i-th statement and calling the visitor's <code>visitAfter</code> method, a
       <code>ContractViolation</code> check is present at index i.
 </ul>

 <p>After invoking this method, the client can query the outcome of executing each statement via
 the method <a href="../../randoop/sequence/ExecutableSequence.html#getResult-int-"><code>getResult(int)</code></a>.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>visitor</code> - the <code>ExecutionVisitor</code></dd>
<dd><code>gen</code> - the initial check generator, which this augments then uses</dd>
<dd><code>ignoreException</code> - if true, ignore exceptions thrown before the last statement</dd>
<dt><span class="throwsLabel">Throws:</span></dt>
<dd><code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Error.html?is-external=true" title="class or interface in java.lang">Error</a></code> - if execution of the sequence throws an exception and <code>ignoreException==false</code></dd>
</dl>
</li>
</ul>
<a name="getRuntimeInputs-java.util.List-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getRuntimeInputs</h4>
<pre>public&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a>[]&nbsp;getRuntimeInputs(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a>&gt;&nbsp;inputs)</pre>
</li>
</ul>
<a name="getRuntimeInputs-java.util.List-java.util.List-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getRuntimeInputs</h4>
<pre>private&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a>[]&nbsp;getRuntimeInputs(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/ExecutionOutcome.html" title="class in randoop">ExecutionOutcome</a>&gt;&nbsp;outcome,
                                  <a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a>&gt;&nbsp;inputs)</pre>
</li>
</ul>
<a name="getRuntimeValuesForVars-java.util.List-randoop.sequence.Execution-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getRuntimeValuesForVars</h4>
<pre>public static&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a>[]&nbsp;getRuntimeValuesForVars(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a>&gt;&nbsp;vars,
                                               <a href="../../randoop/sequence/Execution.html" title="class in randoop.sequence">Execution</a>&nbsp;execution)</pre>
<div class="block">Returns the values for the given variables in the <a href="../../randoop/sequence/Execution.html" title="class in randoop.sequence"><code>Execution</code></a> object. The variables are
 <a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence"><code>Variable</code></a> objects in the <a href="../../randoop/sequence/Sequence.html" title="class in randoop.sequence"><code>Sequence</code></a> of this <a href="../../randoop/sequence/ExecutableSequence.html" title="class in randoop.sequence"><code>ExecutableSequence</code></a> object.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>vars</code> - a list of <a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence"><code>Variable</code></a> objects</dd>
<dd><code>execution</code> - the object representing outcome of executing this sequence</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>array of values corresponding to variables</dd>
</dl>
</li>
</ul>
<a name="getRuntimeValuesForVars-java.util.List-java.util.List-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getRuntimeValuesForVars</h4>
<pre>private static&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a>[]&nbsp;getRuntimeValuesForVars(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a>&gt;&nbsp;vars,
                                                <a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/ExecutionOutcome.html" title="class in randoop">ExecutionOutcome</a>&gt;&nbsp;execution)</pre>
</li>
</ul>
<a name="executeStatement-randoop.sequence.Sequence-java.util.List-int-java.lang.Object:A-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>executeStatement</h4>
<pre>private static&nbsp;void&nbsp;executeStatement(<a href="../../randoop/sequence/Sequence.html" title="class in randoop.sequence">Sequence</a>&nbsp;s,
                                     <a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/ExecutionOutcome.html" title="class in randoop">ExecutionOutcome</a>&gt;&nbsp;outcome,
                                     int&nbsp;index,
                                     <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a>[]&nbsp;inputVariables)</pre>
</li>
</ul>
<a name="getResult-int-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getResult</h4>
<pre>public&nbsp;<a href="../../randoop/ExecutionOutcome.html" title="class in randoop">ExecutionOutcome</a>&nbsp;getResult(int&nbsp;index)</pre>
<div class="block">This method is typically used by ExecutionVisitors.

 <p>The result of executing the index-th element of the sequence.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>index</code> - the statement index</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the outcome of the statement at index</dd>
</dl>
</li>
</ul>
<a name="getChecks--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getChecks</h4>
<pre>public&nbsp;<a href="../../randoop/test/TestChecks.html" title="interface in randoop.test">TestChecks</a>&lt;?&gt;&nbsp;getChecks()</pre>
<div class="block">Return the set of test checks for the most recent execution.</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the <code>TestChecks</code> generated from the most recent execution</dd>
</dl>
</li>
</ul>
<a name="getValue-int-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getValue</h4>
<pre>private&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a>&nbsp;getValue(int&nbsp;index)</pre>
<div class="block">The result of executing the index-th element of the sequence.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>index</code> - which element to obtain</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the result of executing the index-th element of the sequence, if that element's
     execution completed normally</dd>
</dl>
</li>
</ul>
<a name="getLastStatementValues--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getLastStatementValues</h4>
<pre>public&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/sequence/ReferenceValue.html" title="class in randoop.sequence">ReferenceValue</a>&gt;&nbsp;getLastStatementValues()</pre>
<div class="block">Returns the list of (reference type) values created and used by the last statement of this
 sequence. Null output values are not included.</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the list of values created and used by the last statement of this sequence</dd>
</dl>
</li>
</ul>
<a name="addReferenceValue-randoop.sequence.Variable-java.lang.Object-java.util.Set-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>addReferenceValue</h4>
<pre>private&nbsp;void&nbsp;addReferenceValue(<a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a>&nbsp;variable,
                               <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a>&nbsp;value,
                               <a href="https://docs.oracle.com/javase/8/docs/api/java/util/Set.html?is-external=true" title="class or interface in java.util">Set</a>&lt;<a href="../../randoop/sequence/ReferenceValue.html" title="class in randoop.sequence">ReferenceValue</a>&gt;&nbsp;refValues)</pre>
<div class="block">If the variable has a non-String reference type, add its value to the set and also add a
 mapping to <a href="../../randoop/sequence/ExecutableSequence.html#variableMap"><code>variableMap</code></a>.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>variable</code> - the variable to use as a value in variableMap</dd>
<dd><code>value</code> - the Java value to use as a key in variableMap</dd>
<dd><code>refValues</code> - the set of all reference values; is side-effected by this method</dd>
</dl>
</li>
</ul>
<a name="getInputValues--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getInputValues</h4>
<pre>public&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/sequence/ReferenceValue.html" title="class in randoop.sequence">ReferenceValue</a>&gt;&nbsp;getInputValues()</pre>
<div class="block">Returns the list of input reference type values used to compute the input values of the last
 statement.</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the list of input values used to compute values in last statement</dd>
</dl>
</li>
</ul>
<a name="getVariables-java.lang.Object-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getVariables</h4>
<pre>public&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a>&gt;&nbsp;getVariables(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a>&nbsp;value)</pre>
<div class="block">Returns the set of variables that have the given value in the outcome of executing this
 sequence.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>value</code> - the value</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the set of variables that have the given value, or null if none</dd>
</dl>
</li>
</ul>
<a name="getVariable-java.lang.Object-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getVariable</h4>
<pre>public&nbsp;<a href="../../randoop/sequence/Variable.html" title="class in randoop.sequence">Variable</a>&nbsp;getVariable(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a>&nbsp;value)</pre>
<div class="block">Returns some variable that has the given value in the outcome of executing this sequence.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>value</code> - the value</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>a variable that has the given value</dd>
</dl>
</li>
</ul>
<a name="isNormalExecution-int-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>isNormalExecution</h4>
<pre>private&nbsp;boolean&nbsp;isNormalExecution(int&nbsp;i)</pre>
<div class="block">This method is typically used by ExecutionVisitors.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>i</code> - the statement index to test for normal execution</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>true if execution of the i-th statement terminated normally</dd>
</dl>
</li>
</ul>
<a name="getNonNormalExecutionIndex--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getNonNormalExecutionIndex</h4>
<pre>public&nbsp;int&nbsp;getNonNormalExecutionIndex()</pre>
</li>
</ul>
<a name="isNormalExecution--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>isNormalExecution</h4>
<pre>public&nbsp;boolean&nbsp;isNormalExecution()</pre>
</li>
</ul>
<a name="getExceptionIndex-java.lang.Class-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getExceptionIndex</h4>
<pre>private&nbsp;int&nbsp;getExceptionIndex(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Class.html?is-external=true" title="class or interface in java.lang">Class</a>&lt;?&gt;&nbsp;exceptionClass)</pre>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>exceptionClass</code> - the exception thrown</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the index in the sequence at which an exception of the given class (or a class
     compatible with it) was thrown. If no such exception, returns -1.</dd>
</dl>
</li>
</ul>
<a name="throwsException-java.lang.Class-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>throwsException</h4>
<pre>public&nbsp;boolean&nbsp;throwsException(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Class.html?is-external=true" title="class or interface in java.lang">Class</a>&lt;?&gt;&nbsp;exceptionClass)</pre>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>exceptionClass</code> - the exception class</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>true if an exception of the given class (or a class compatible with it) has been thrown
     during this sequence's execution</dd>
</dl>
</li>
</ul>
<a name="hasNonExecutedStatements--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>hasNonExecutedStatements</h4>
<pre>public&nbsp;boolean&nbsp;hasNonExecutedStatements()</pre>
<div class="block">Returns whether the sequence contains a non-executed statement. That happens if some statement
 before the last one throws an exception.</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>true if this sequence has non-executed statements, false otherwise</dd>
</dl>
</li>
</ul>
<a name="getNonExecutedIndex--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getNonExecutedIndex</h4>
<pre>public&nbsp;int&nbsp;getNonExecutedIndex()</pre>
<div class="block">Returns the index i for a non-executed statement, or -1 if there is no such index. Note that a
 statement is considered executed even if it throws an exception.</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the index of a non-executed statement in this sequence</dd>
</dl>
</li>
</ul>
<a name="hashCode--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>hashCode</h4>
<pre>public&nbsp;int&nbsp;hashCode()</pre>
<dl>
<dt><span class="overrideSpecifyLabel">Overrides:</span></dt>
<dd><code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#hashCode--" title="class or interface in java.lang">hashCode</a></code>&nbsp;in class&nbsp;<code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a></code></dd>
</dl>
</li>
</ul>
<a name="equals-java.lang.Object-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>equals</h4>
<pre>public&nbsp;boolean&nbsp;equals(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a>&nbsp;obj)</pre>
<dl>
<dt><span class="overrideSpecifyLabel">Overrides:</span></dt>
<dd><code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#equals-java.lang.Object-" title="class or interface in java.lang">equals</a></code>&nbsp;in class&nbsp;<code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a></code></dd>
</dl>
</li>
</ul>
<a name="hasNullInput--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>hasNullInput</h4>
<pre>public&nbsp;boolean&nbsp;hasNullInput()</pre>
<div class="block">Indicates whether the executed sequence has any null input values.</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>true if there is a null input value in this sequence, false otherwise</dd>
</dl>
</li>
</ul>
<a name="hasFailure--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>hasFailure</h4>
<pre>public&nbsp;boolean&nbsp;hasFailure()</pre>
<div class="block">Indicate whether checks are failing or passing.</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>true if checks are all failing, or false if all passing</dd>
</dl>
</li>
</ul>
<a name="hasInvalidBehavior--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>hasInvalidBehavior</h4>
<pre>public&nbsp;boolean&nbsp;hasInvalidBehavior()</pre>
<div class="block">Indicate whether there are any invalid checks.</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>true if the test checks have been set and are for invalid behavior, false otherwise</dd>
</dl>
</li>
</ul>
<a name="addCoveredClass-java.lang.Class-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>addCoveredClass</h4>
<pre>public&nbsp;void&nbsp;addCoveredClass(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Class.html?is-external=true" title="class or interface in java.lang">Class</a>&lt;?&gt;&nbsp;c)</pre>
<div class="block">Adds a covered class to the most recent execution results of this sequence.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>c</code> - the class covered by the execution of this sequence</dd>
</dl>
</li>
</ul>
<a name="coversClass-java.lang.Class-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>coversClass</h4>
<pre>public&nbsp;boolean&nbsp;coversClass(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Class.html?is-external=true" title="class or interface in java.lang">Class</a>&lt;?&gt;&nbsp;c)</pre>
<div class="block">Indicates whether the given class is covered by the most recent execution of this sequence.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>c</code> - the class to be covered</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>true if the class is covered by the sequence, false otherwise</dd>
</dl>
</li>
</ul>
<a name="getOperation--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getOperation</h4>
<pre>public&nbsp;<a href="../../randoop/operation/TypedOperation.html" title="class in randoop.operation">TypedOperation</a>&nbsp;getOperation()</pre>
<div class="block">Return the operation from which this sequence was generated -- the operation of the last
 statement of this sequence.</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the operation of the last statement of this sequence</dd>
</dl>
</li>
</ul>
<a name="size--">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>size</h4>
<pre>public&nbsp;int&nbsp;size()</pre>
<div class="block">Return the number of statements in this sequence.</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the number of statements in this sequence</dd>
</dl>
</li>
</ul>
</li>
</ul>
</li>
</ul>
</div>
</div>
<!-- ========= END OF CLASS DATA ========= -->
<!-- ======= START OF BOTTOM NAVBAR ====== -->
<div class="bottomNav"><a name="navbar.bottom">
<!--   -->
</a>
<div class="skipNav"><a href="#skip.navbar.bottom" title="Skip navigation links">Skip navigation links</a></div>
<a name="navbar.bottom.firstrow">
<!--   -->
</a>
<ul class="navList" title="Navigation">
<li><a href="../../overview-summary.html">Overview</a></li>
<li><a href="package-summary.html">Package</a></li>
<li class="navBarCell1Rev">Class</li>
<li><a href="package-tree.html">Tree</a></li>
<li><a href="../../deprecated-list.html">Deprecated</a></li>
<li><a href="../../index-all.html">Index</a></li>
<li><a href="../../help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList">
<li><a href="../../randoop/sequence/ClassLiterals.html" title="class in randoop.sequence"><span class="typeNameLink">Prev&nbsp;Class</span></a></li>
<li><a href="../../randoop/sequence/Execution.html" title="class in randoop.sequence"><span class="typeNameLink">Next&nbsp;Class</span></a></li>
</ul>
<ul class="navList">
<li><a href="../../index.html?randoop/sequence/ExecutableSequence.html" target="_top">Frames</a></li>
<li><a href="ExecutableSequence.html" target="_top">No&nbsp;Frames</a></li>
</ul>
<ul class="navList" id="allclasses_navbar_bottom">
<li><a href="../../allclasses-noframe.html">All&nbsp;Classes</a></li>
</ul>
<div>
<script type="text/javascript"><!--
  allClassesLink = document.getElementById("allclasses_navbar_bottom");
  if(window==top) {
    allClassesLink.style.display = "block";
  }
  else {
    allClassesLink.style.display = "none";
  }
  //-->
</script>
</div>
<div>
<ul class="subNavList">
<li>Summary:&nbsp;</li>
<li>Nested&nbsp;|&nbsp;</li>
<li><a href="#field.summary">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor.summary">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.summary">Method</a></li>
</ul>
<ul class="subNavList">
<li>Detail:&nbsp;</li>
<li><a href="#field.detail">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor.detail">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.detail">Method</a></li>
</ul>
</div>
<a name="skip.navbar.bottom">
<!--   -->
</a></div>
<!-- ======== END OF BOTTOM NAVBAR ======= -->
</body>
</html>
